$\forall$$r$:RngSig. 1 $\in$ $\mid$$r$$\mid$